WOLTRAN, STEFAN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

General Belief Revision

Delgrande, James P., Peppas, Pavlos, Woltran, Stefan

Journal:

Journal of the ACM

Year:

2018

Language:

english

File:

PDF, 453 KB

english, 2018

2

On the limits of forgetting in Answer Set Programming

GonÃ§alves, Ricardo, Knorr, Matthias, Leite, JoÃ£o, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2020

File:

PDF, 1.19 MB

2020

3

Complexity of abstract argumentation under a claim-centric view

DvoÅÃ¡k, Wolfgang, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2020

File:

PDF, 615 KB

2020

4

Belief revision within fragments of propositional logic

Creignou, Nadia, Papini, Odile, Pichler, Reinhard, Woltran, Stefan

Journal:

Journal of Computer and System Sciences

Year:

2014

Language:

english

File:

PDF, 481 KB

english, 2014

5

A general notion of equivalence for abstract argumentation

Baumann, Ringo, Dvořák, Wolfgang, Linsbichler, Thomas, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 667 KB

english, 2019

6

[Lecture Notes in Computer Science] Foundations of Information and Knowledge Systems Volume 10833 || OntoDebug: Interactive Ontology Debugging Plug-in for Protégé

Ferrarotti, Flavio, Woltran, Stefan

Year:

2018

Language:

english

File:

PDF, 3.63 MB

english, 2018

7

Reasoning in abstract dialectical frameworks using quantified Boolean formulas

Diller, Martin, Wallner, Johannes Peter, Woltran, Stefan

Journal:

Argument & Computation

Year:

2015

Language:

english

File:

PDF, 589 KB

english, 2015

8

Characteristics of multiple viewpoints in abstract argumentation

Dunne, Paul E., Dvořák, Wolfgang, Linsbichler, Thomas, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 794 KB

english, 2015

9

On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs

DvoÅÃ¡k, Wolfgang, Rapberger, Anna, Woltran, Stefan

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 1.29 MB

2020

10

[Lecture Notes in Computer Science] Graph Structures for Knowledge Representation and Reasoning Volume 8323 ||

Croitoru, Madalina, Rudolph, Sebastian, Woltran, Stefan, Gonzales, Christophe

Year:

2014

Language:

english

File:

PDF, 5.16 MB

english, 2014

11

[Lecture Notes in Computer Science] Graph Structures for Knowledge Representation and Reasoning Volume 8323 || Learning Bayes Nets for Relational Data with Link Uncertainty

Croitoru, Madalina, Rudolph, Sebastian, Woltran, Stefan, Gonzales, Christophe

Year:

2014

Language:

english

File:

PDF, 1.04 MB

english, 2014

12

Design and results of the second international competition on computational models of argumentation

Gaggl, Sarah A., Linsbichler, Thomas, Maratea, Marco, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 1.79 MB

english, 2019

13

Methods for solving reasoning problems in abstract argumentation – A survey

Charwat, Günther, Dvořák, Wolfgang, Gaggl, Sarah A., Wallner, Johannes P., Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 1.20 MB

english, 2015

14

On Uniform Equivalence of Epistemic Logic Programs

FABER, WOLFGANG, MORAK, MICHAEL, WOLTRAN, STEFAN

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 270 KB

english, 2019

15

Complexity-sensitive decision procedures for abstract argumentation

Dvořák, Wolfgang, Järvisalo, Matti, Wallner, Johannes Peter, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 865 KB

english, 2014

16

Applications of logical approaches to argumentation

Leite, João, Cao Son, Tran, Torroni, Paolo, Woltran, Stefan

Journal:

Argument & Computation

Year:

2015

Language:

english

File:

PDF, 151 KB

english, 2015

17

Characterizing strong equivalence for argumentation frameworks

Emilia Oikarinen, Stefan Woltran

Journal:

Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 416 KB

english, 2011

18

Towards fixed-parameter tractable algorithms for abstract argumentation

Wolfgang Dvořák, Reinhard Pichler, Stefan Woltran

Journal:

Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 742 KB

english, 2012

19

Answer-set programming encodings for argumentation frameworks

Egly, Uwe, Alice Gaggl, Sarah, Woltran, Stefan

Journal:

Argument & Computation

Year:

2010

Language:

english

File:

PDF, 279 KB

english, 2010

20

On rejected arguments and implicit conflicts: The hidden power of argumentation semantics

Baumann, Ringo, Dvořák, Wolfgang, Linsbichler, Thomas, Spanring, Christof, Strass, Hannes, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.15 MB

english, 2016

21

When you must forget: Beyond strong persistence when forgetting in answer set programming

GONÇALVES, RICARDO, KNORR, MATTHIAS, LEITE, JOÃO, WOLTRAN, STEFAN

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 195 KB

english, 2017

22

Complexity of logic-based argumentation in Post's framework

Creignou, Nadia, Schmidt, Johannes, Thomas, Michael, Woltran, Stefan

Journal:

Argument & Computation

Year:

2011

Language:

english

File:

PDF, 463 KB

english, 2011

23

Parametric properties of ideal semantics

Dunne, Paul E., Dvořák, Wolfgang, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2013

Language:

english

File:

PDF, 737 KB

english, 2013

24

[Lecture Notes in Computer Science] Foundations of Information and Knowledge Systems Volume 10833 ||

Ferrarotti, Flavio, Woltran, Stefan

Year:

2018

Language:

english

File:

PDF, 13.29 MB

english, 2018

25

A multiparametric view on answer set programming

Fichte, Johannes K., Kronegger, Martin, Woltran, Stefan

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 816 KB

english, 2019

26

Encoding deductive argumentation in quantified Boolean formulae

Philippe Besnard, Anthony Hunter, Stefan Woltran

Journal:

Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 289 KB

english, 2009

27

On deciding subsumption problems

Uwe Egly, Reinhard Pichler, Stefan Woltran

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 362 KB

english, 2005

28

An extension-based approach to belief revision in abstract argumentation

Diller, Martin, Haret, Adrian, Linsbichler, Thomas, Rümmele, Stefan, Woltran, Stefan

Journal:

International Journal of Approximate Reasoning

Year:

2018

Language:

english

File:

PDF, 1.11 MB

english, 2018

29

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) ||

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

File:

PDF, 14.42 MB

2019

30

A common view on strong, uniform, and other notions of equivalence in answer-set programming

WOLTRAN, STEFAN

Journal:

Theory and Practice of Logic Programming

Year:

2008

Language:

english

File:

PDF, 177 KB

english, 2008

31

Equivalence between answer-set programs under (partially) fixed input

Bliem, Bernhard, Woltran, Stefan

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 531 KB

english, 2017

32

Semantical characterizations and complexity of equivalences in answer set programming

Eiter, Thomas, Fink, Michael, Woltran, Stefan

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 344 KB

english, 2007

33

Dynamic Programming on Tree Decompositions with D-FLAT

Abseher, Michael, Bliem, Bernhard, Hecher, Markus, Moldovan, Marius, Woltran, Stefan

Journal:

KI - Künstliche Intelligenz

Year:

2018

Language:

english

File:

PDF, 644 KB

english, 2018

34

Complexity results for answer set programming with bounded predicate arities and implications

Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 809 KB

english, 2007

35

[IEEE 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI) - Boca Raton, FL, USA (2011.11.7-2011.11.9)] 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - A New Tree-Decomposition Based Algorithm for Answer Set Programming

Morak, Michael, Musliu, Nysret, Pichler, Reinhard, Rummele, Stefan, Woltran, Stefan

Year:

2011

File:

PDF, 824 KB

2011

36

A Model-Theoretic Approach to Belief Change in Answer Set Programming

Delgrande, James, Schaub, Torsten, Tompits, Hans, Woltran, Stefan

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 322 KB

english, 2013

37

Dual-normal logic programs – the forgotten class

FICHTE, JOHANNES K., TRUSZCZYŃSKI, MIROSŁAW, WOLTRAN, STEFAN

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 143 KB

english, 2015

38

The power of non-ground rules in Answer Set Programming

BICHLER, MANUEL, MORAK, MICHAEL, WOLTRAN, STEFAN

Journal:

Theory and Practice of Logic Programming

Year:

2016

Language:

english

File:

PDF, 267 KB

english, 2016

39

Computing secure sets in graphs using answer set programming

Abseher, Michael, Bliem, Bernhard, Charwat, Günther, Dusberger, Frederico, Woltran, Stefan

Journal:

Journal of Logic and Computation

Year:

2015

Language:

english

File:

PDF, 550 KB

english, 2015

40

Complexity of Secure Sets

Bliem, Bernhard, Woltran, Stefan

Journal:

Year:

2017

Language:

english

File:

PDF, 878 KB

english, 2017

41

Answer set programming unleashed!

Schaub, Torsten, Woltran, Stefan

Journal:

KI - Künstliche Intelligenz

Year:

2018

Language:

english

File:

PDF, 735 KB

english, 2018

42

Abstract solvers for Dung’s argumentation frameworks

Brochenin, Remi, Linsbichler, Thomas, Maratea, Marco, Wallner, Johannes P., Woltran, Stefan

Journal:

Argument & Computation

Year:

2018

File:

PDF, 357 KB

2018

43

selp: A Single-Shot Epistemic Logic Program Solver

BICHLER, MANUEL, MORAK, MICHAEL, WOLTRAN, STEFAN

Journal:

Theory and Practice of Logic Programming

Year:

2020

File:

PDF, 535 KB

2020

44

[Lecture Notes in Computer Science] Foundations of Information and Knowledge Systems Volume 10833 || A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries

Ferrarotti, Flavio, Woltran, Stefan

Year:

2018

Language:

english

File:

PDF, 315 KB

english, 2018

45

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Evaluation of Disjunctive Programs in WASP

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Year:

2019

Language:

english

File:

PDF, 473 KB

english, 2019

46

On Deciding Subsumption Problems

Uwe Egly, Reinhard Pichler, Stefan Woltran

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 335 KB

english, 2005

47

[IEEE 2006 15th International Conference on Computing - Mexico city, Mexico (2006.11.21-2006.11.21)] 2006 15th International Conference on Computing - cc{\rm T}: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming

Oetsch, Johannes, Seidl, Martina, Tompits, Hans, Woltran, Stefan

Year:

2006

Language:

english

File:

PDF, 525 KB

english, 2006

48

Ranking Specific Sets of Objects

Maly, Jan, Woltran, Stefan

Journal:

Datenbank-Spektrum

Year:

2017

Language:

english

File:

PDF, 495 KB

english, 2017

49

[Lecture Notes in Computer Science] Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Volume 9060 ||

Eiter, Thomas, Strass, Hannes, Truszczyński, Mirosław, Woltran, Stefan

Year:

2015

Language:

english

File:

PDF, 10.28 MB

english, 2015

50

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - Alternation as a programming paradigm

Dvořák, Wolfgang, Gottlob, Georg, Pichler, Reinhard, Woltran, Stefan

Year:

2009

Language:

english

File:

PDF, 492 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски